翻訳と辞書 Words near each other ・ consortium for lexical research ・ constant angular velocity ・ constant applicative form ・ constant folding ・ constant linear velocity ・ constant mapping ・ constantine/yourdon ・ constraint ・ constraint functional programming ・ constraint handling in prolog ・ constraint logic programming ・ constraint satisfaction ・ constraintlisp ・ constraints ・ constructed type ・ constructive ・ constructive cost model ・ constructive solid geometry ・ constructor ・ consul Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク constraint logic programming ： FOLDOC Constraint Logic Programming (CLP) A programming framework based (like Prolog) on {LUSH} (or {SLD}) resolution, but in which unification has been replaced by a {constraint solver}. A CLP interpreter contains a Prolog-like inference engine and an incremental constraint solver. The engine sends constraints to the solver one at a time. If the new constraint is consistent with the collected constraints it will be added to the set. If it was inconsistent, it will cause the engine to {backtrack}. CLP* is a variant. ["Constraint Logic Programming", J. Jaffar et al, 14th POPL, ACM 1987]. (1994-11-01) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.